Esterel Technologies Announces SCADE 4.3 Faster, Easier, High-Reliability Embedded Software Development
Includes Extended Capabilities for Automotive Applications
MOUNTAIN VIEW, Calif. and ELANCOURT, France – May 3, 2004 – Esterel Technologies, a leading world-wide supplier of model based-design, validation and verification tools for the correct-by-construction development of high-reliability embedded software applications, today announced its newest versions of SCADE Suite™ and SCADE Drive™ for the aerospace and automotive markets.
Esterel Technologies' SCADE Suite 4.3 and SCADE Drive 4.3 include many enhancements that improve the developer's productivity in editing, simulating, validating, and automatically generating code and documentation for high-reliability embedded software, including software that must comply with strict standards and guidelines such as the avionics guideline DO-178B, Level A, and automotive standards IEC 61508 and MISRA.
- SCADE 4.3 brings new editing functions such as a streamlined default setup with a convenient mini tool-bar for launching all functions, as well as user customization capability for defining their own toolbar displays.
- New Safe State Machine (SSM) modeling capabilities (weak delayed transitions, initial state) and tighter SSM editing integration for creating seamless SSM designs within SCADE models.
- A more flexible automatic report generator that now allows the user to easily and extensively customize reports and even to use their own templates.
- More productive design verification with Design Verifier*. SCADE's formal proof capability now has a streamlined use model with 2 selections: "Prove" and "Debug".
- A new library for sized integers that helps to optimization the code size for small footprint targets.
- An integration to Altia Design ™. Altia is a leading provider of tools used for quickly building virtual prototypes, simulation graphics, and deployable GUI code for embedded displays.
"SCADE has always been the preferred tool for the development of high-reliability embedded software like flight controls, auto pilots, braking systems and steer-by-wire applications where absolute safety is an absolute requirement. With SCADE 4.3 all of the power of SCADE's built-in formalism and determinism is still there to create a complete and traceable flow from the software requirements model to production embeddable code, but now SCADE is also much more intuitive, easier to learn and easier to use", said Eric Bantegnie, CEO of Esterel Technologies.
SCADE Suite 4.3 and SCADE Drive 4.3 are available in LAN and WAN configurations and run on UNIX Solaris 2.8, Windows NT, Windows 2000 and Windows XP. Perpetual licensing pricing (US dollars) begins at $30,000. Time-based licensing is also available.
*Design Verifier is based on the Prover Plug-In, trademark of Prover Technologies AB in Sweden, the United States and other countries.
About Esterel Technologies
Esterel Technologies products and services solve the problems of high-reliability embedded design creation, validation, and verification with complete tool suites supported by the power of abstraction and synchronous languages. Esterel Technologies’ tools create unambiguous specifications that produce correct-by-construction, automated implementation in software and/or hardware. Today, SCADE Suite™ is the de-facto standard for the creation of safety-critical embedded software in the civilian avionics industry and SCADE Drive™ is the emerging standard for the creation of critical-embedded software in the automotive industry. Esterel Studio™ allows embedded hardware designers to create a golden specification model that can be automatically implemented in RTL, C or Ada.
Esterel Technologies is a privately held company with headquarters in Mountain View, California USA, and Elancourt, France and offices in Germany, the UK and China. For additional information visit the Esterel Technologies website at www.esterel-technologies.com
Contacts:
Esterel Technologies and US PR
Linda Prowse Fosler
650-641-1706
Public Relations: Europe
Jeremy Carne, Carne Communications
+44 (0)20 7384 2500
|
